Langages réguliers – Automates finis

Inférence grammaticale et grammaires catégorielles: vers la Grande Unification!

Résumé : Dans cet article, nous proposons de comparer les techniques employées en inférence grammaticale de langages réguliers par exemples positifs avec celles employées pour l’inférence de grammaires catégorielles. Pour cela, nous commençons par étudier la traduction entre automates et grammaires catégorielles, et inversement. Nous montrons ensuite que l’opérateur de généralisation utilisé po...

Langages algébriques de mots biinfinis

Les langages rationnels de mots biinfinis ont CtC rkemment dCfinis et CtudiCs dans divers articles [2,3, lo]; ce sont les langages de mots biinfinis qui appartiennent 5 la fermeture rationnelle biinfinie des langages rationnels de mots finis (c’est B dire qui sont union finie de langages de la forme “ABC” oh A, B, C sont des langages rationnels de mots finis). Nous nous proposons dans ce papier...

Automates infinis, logiques et langages

Synthese des Controleurs Optimaux pour les Systemes a Evenements Discrets

Dans cet article, on introduit le problème de synthèse de contrôleurs optimaux des systèmes à événements discrets et nous proposons une procédure pour la résolution de ce problème, dans le cas où le procédé et les spécifications sont représentés par des automates à états finis et présentant une complexité croissante. Nous allons souscrire à la méthodologie de synthèse selon la théorie de la com...

Learning Recursive Automata from Positive Examples

In this theoretical paper, we compare the “classical” learning techniques used to infer regular grammars from positive examples with the ones used to infer categorial grammars. To this aim, we first study how to translate finite state automata into categorial grammars and back. We then show that the generalization operators employed in both domains can be compared, and that their result can alw...